Runtime Verification Logics A Language Design Perspective Klaus Havelund1? and Giles Reger2?? 1 Jet Propulsion Laboratory, California Inst. of Technology, USA

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Mathematics
• Formal methods
• Logic in computer science
• Models of computation
• Temporal logic
• Runtime verification
• Formal verification
• Model checking
• Linear temporal logic
• Finite-state machine
• FO

Department of Computer Science INCREMENTAL RUNTIME VERIFICATION OF PROBABILISTIC SYSTEMS Vojtˇech Forejt

Source URL: www.cs.ox.ac.uk

• Dynamic programming
• Markov processes
• Stochastic control
• Markov models
• Probability
• Markov decision process
• Markov chain
• PP
• Probabilistic CTL
• Model checking

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) First International Competition on Runtime Verification Rules, Benchmarks, Tools, and Final Results of CRV 2014 Ezio Bartocci1 , Yli`

Source URL: julien.signoles.free.fr

• Computing
• Software engineering
• Computer programming
• Functional languages
• Program analysis
• Data types
• Programming languages
• Object-oriented programming languages
• ANSI/ISO C Specification Language
• Runtime verification
• Benchmark
• KeY

StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java? Jes´ us Mauricio Chimento1 , Wolfgang Ahrendt1 , Gordon J. Pace2 , and Gerardo Schneider3

Source URL: www.cse.chalmers.se

How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification Gary T. Leavens a , Yoonsik Cheon b , Curtis Clifton a , Clyde Ruby a , David R. Cok c

Source URL: curtclifton.net

Some Thoughts on Runtime Verification Oded Maler VERIMAG CNRS and the University of Grenoble Alpes (UGA) Bat. IMAG, 700 av. CentraleSt Martin d’Heres, France

Source URL: www-verimag.imag.fr

Some Thoughts on Runtime Verification Oded Maler VERIMAG CNRS and the University of Grenoble (UGA) France

Source URL: www-verimag.imag.fr

Runtime Verification and Compensations Christian Colombo Supervisor: Gordon J. Pace

Source URL: secure.um.edu.mt

Applying Runtime Verification Techniques to an Enterprise Service Bus Gabriel Dimech Christian Colombo

Source URL: staff.um.edu.mt

Adaptive Runtime Verification Radu  Grosu   Vienna  University  of  Technology   Joint work with: E. Bartocci, S. Callanan, K. Havelund, K. Kalajdzik

Source URL: www.mad-workshop.de